Reconciling Systems and Deductive Capabilities in Knowledge Based Systems Using Logic Programming
نویسنده
چکیده
A comprehensive approach to programming concurrent knowledge based systems in logic must cater for both knowledge processing and systems handling capabilities. This paper reviews requirements for supporting both capabilities in a resolution based framework, and considers logic programming schemes which sustain each kind of capability. It then considers attempts to reconcile these schemes to support both capabilities efficiently together. It argues that no approach so far advocated is ultimately satisfactory, although a hybrid approach of coupling resolution engines supporting each kind of capability is a workable compromise.
منابع مشابه
Improving Accuracy of Recommender Systems using Social Network Information and Longitudinal Data
The rapid development of technology, the Internet, and the development of electronic commerce have led to the emergence of recommender systems. These systems will assist the users in finding and selecting their desired items. The accuracy of the advice in recommender systems is one of the main challenges of these systems. Regarding the fuzzy systems capabilities in determining the borders of us...
متن کاملRule-based Calculi for Extensions of Logic Programming
The focus of this paper lies on the proof-theory for extensions of Logic Programming in which it is possible to draw negative conclusions both in a direct (i.e., based on a proof) and in an indirect (i.e., based on the lack of a proof) way. These extensions are provided with a rule-based deductive system in the sense of the work of Jager [8] for Normal Logic Programs. Rule-based deductive syst...
متن کاملUsing Esta to Develop Expert System for the Natural Resource Management
In this paper we describe role of expert systems in the natural resource management and present the utility of prolog based expert system shell ESTA (Expert System shell for Text Animation) in the development of such an expert system. ESTA programming is based on logic programming approach. The ESTA programme has some advantages compared to other available expert system shell such as the C Lang...
متن کاملA Deductive Database Language Supporting Modules
The applicability of programming languages for knowledge based systems to real life application problems is largely determined by their support of modularity, abstraction, and reusability of modules. While the deductive database approach to knowledge representation has its merits in the declarativity of the underlying logic languages and the integration of deduction and efficient database acces...
متن کاملMerging Deductive and Abductive Knowledge Bases: An Argumentation Context Approach
The consideration of heterogenous knowledge sources for supporting decision making is key to accomplish informed decisions, e.g., about medical diagnosis. Consequently, merging different data from different knowledge bases is a key issue for providing support for decision-making. In this paper, we explore an argumentation context approach, which follows how medical professionals typically reaso...
متن کامل